$\in$$x$:$T$. $P$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case ${\it xm}$(\{$y$:$T$$\mid$ $P$($y$)\} ) of inl($z$) =$>$ $z$ $\mid$ inr($w$) =$>$ "???"